341. Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
پدیدآورنده : Alexandre V. Borovik, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Finite groups,Congresses ، Infinite groups
رده :
QA
174
.
A418
2003
342. Grundlagen der Information
پدیدآورنده : von Horst Völz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Computer science.,Electronic data processing.,Informatik,Information.,Informationstheorie,Informationstheorie, 0 Gesamtdarstellung.,Mathematik
343. Guide to Discrete Mathematics
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
344. Guide to Discrete Mathematics
پدیدآورنده : \ Gerard O’Regan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع :
رده :
E-Book
,
345. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
346. Guide to discrete mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ;
348. Hadamard transforms
پدیدآورنده : Sos Agaian ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Hadamard matrices.
349. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
350. Handbook of Philosophical Logic
پدیدآورنده : edited by D.M. Gabbay, F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)
351. Handbook of memristor networks /
پدیدآورنده : Leon Chua, Georgios Ch. Sirakoulis, Andrew Adamatzky, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Memristors, Handbooks, manuals, etc.,Memristors.
رده :
TK7872
.
R4
H36
2019eb
352. Higher operads, higher categories /
پدیدآورنده : Tom Leinster.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics),Operads.
رده :
QA169
.
L44
2004eb
353. Higher operads, higher categories /
پدیدآورنده : Tom Leinster.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categories (Mathematics),Operads.
رده :
QA169
.
L44
2004eb
354. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
355. Hybrid algorithms, Techniques and Implementations Of Fuzzy Logic
پدیدآورنده : / Contributors: Bharanidharan Shanmugam and et al
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Operations research,Artificial intelligence,Computer science--Mathematics
رده :
T57
.
6
.
H937
2017
356. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده : 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
357. Includes bibliographical references and indexes. 0
پدیدآورنده : edited by Marilyn Cochran-Smith, Kenneth M. Zeichner.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
358. Includes bibliographical references (p. 28
پدیدآورنده : M. Hakan Yavuz.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
359. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
360. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
